Description

Issue Link

1. The rule to find next tx in dynamic section is changed after we enable EIP2930. Previously only calldata rows are assigned in dynamic section. After EIP2930, it should be either calldata or access_list rows.

2. The requirement that

   if a tx's access_list_address_len != 0, then its access_list_rlc must be zero.
   is wrong.

   An counterexample is like this:

   {
       "address": "0x0",
       "storage_keys": [
             "0x0",
        ]
   } 
   

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• This change requires a documentation update